<html>
<head><meta charset="utf-8"><title>Next steps · t-compiler/wg-rustc-dev-guide · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/index.html">t-compiler/wg-rustc-dev-guide</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next.20steps.html">Next steps</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="188589455"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next%20steps/near/188589455" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next.20steps.html#188589455">(Feb 19 2020 at 21:51)</a>:</h4>
<p>we can find next tasks here <a href="https://hackmd.io/nr5Ww319TnWM2HL_cg5I-w?view#Tasks" target="_blank" title="https://hackmd.io/nr5Ww319TnWM2HL_cg5I-w?view#Tasks">https://hackmd.io/nr5Ww319TnWM2HL_cg5I-w?view#Tasks</a></p>



<a name="188589548"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next%20steps/near/188589548" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next.20steps.html#188589548">(Feb 19 2020 at 21:52)</a>:</h4>
<p>I wanted to mention a couple of things ...</p>



<a name="188589570"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next%20steps/near/188589570" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next.20steps.html#188589570">(Feb 19 2020 at 21:52)</a>:</h4>
<p>I think the ones assigned are clearly defined and actionable now</p>



<a name="188589589"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next%20steps/near/188589589" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next.20steps.html#188589589">(Feb 19 2020 at 21:53)</a>:</h4>
<p>the rest needs discussion and more definition IMO</p>



<a name="188589613"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next%20steps/near/188589613" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next.20steps.html#188589613">(Feb 19 2020 at 21:53)</a>:</h4>
<p>and are actually the ones that will keep us busy</p>



<a name="188589630"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next%20steps/near/188589630" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next.20steps.html#188589630">(Feb 19 2020 at 21:53)</a>:</h4>
<p>the ones defined are more like organizational</p>



<a name="188589746"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next%20steps/near/188589746" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next.20steps.html#188589746">(Feb 19 2020 at 21:54)</a>:</h4>
<p>so ... I think we can now start our sprint with a little planning meeting where we define and prioritize a bit better these tasks:</p>



<a name="188589805"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next%20steps/near/188589805" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next.20steps.html#188589805">(Feb 19 2020 at 21:55)</a>:</h4>
<ul>
<li>Define how would we want to structure the guide </li>
<li>Write an Overview chapter </li>
<li>Write a walkthrough section about what the compiler does to your code </li>
<li>Write a walkthrough about how a full feature is implemented</li>
<li>Collect a set of PRs that help understanding some parts of the compiler</li>
</ul>



<a name="188589868"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next%20steps/near/188589868" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next.20steps.html#188589868">(Feb 19 2020 at 21:56)</a>:</h4>
<p>btw, I've added an idea there that after reading the log of the meeting was very badly explained by me and then of course misunderstood :P</p>



<a name="188589968"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next%20steps/near/188589968" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next.20steps.html#188589968">(Feb 19 2020 at 21:56)</a>:</h4>
<p><span class="user-mention" data-user-id="198054">@mark-i-m</span> when I was talking about the walkthrough section I think there are two things</p>



<a name="188590002"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next%20steps/near/188590002" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next.20steps.html#188590002">(Feb 19 2020 at 21:57)</a>:</h4>
<p>one is having Rust code and explaining what the compiler does to your code</p>



<a name="188590040"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next%20steps/near/188590040" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next.20steps.html#188590040">(Feb 19 2020 at 21:57)</a>:</h4>
<p>the other new idea I was proposing is more like a contributing one, where we show how a particular feature was implemented by explaining every corner of the compiler that was touched</p>



<a name="188590534"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next%20steps/near/188590534" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next.20steps.html#188590534">(Feb 19 2020 at 22:03)</a>:</h4>
<p>I've also added <code>Collect a set of PRs that help understanding some parts of the compiler</code> which we didn't discuss but was an idea I had that sounded interesting to <span class="user-mention silent" data-user-id="125250">Wesley Wiser</span> and <span class="user-mention silent" data-user-id="116009">nikomatsakis</span> when I've commented to them</p>



<a name="188662319"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next%20steps/near/188662319" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next.20steps.html#188662319">(Feb 20 2020 at 18:10)</a>:</h4>
<p>Thanks <span class="user-mention" data-user-id="116266">@Santiago Pastorino</span>!</p>



<a name="188662364"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next%20steps/near/188662364" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next.20steps.html#188662364">(Feb 20 2020 at 18:10)</a>:</h4>
<p>A quick question:</p>
<blockquote>
<p>Write an Overview chapter<br>
Write a walkthrough section about what the compiler does to your code </p>
</blockquote>
<p>What is the difference between these?</p>



<a name="188662491"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next%20steps/near/188662491" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next.20steps.html#188662491">(Feb 20 2020 at 18:12)</a>:</h4>
<blockquote>
<p>Write a walkthrough about how a full feature is implemented</p>
</blockquote>
<p>I'm not sure I understand how this is different from the existing feature or the above bullet points? What's the objective you imagine for such a chapter?</p>



<a name="188666083"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next%20steps/near/188666083" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next.20steps.html#188666083">(Feb 20 2020 at 18:51)</a>:</h4>
<p><span class="user-mention silent" data-user-id="198054">mark-i-m</span> <a href="#narrow/stream/196385-t-compiler.2Fwg-learning/topic/Next.20steps/near/188662364" title="#narrow/stream/196385-t-compiler.2Fwg-learning/topic/Next.20steps/near/188662364">said</a>:</p>
<blockquote>
<p>A quick question:</p>
<blockquote>
<p>Write an Overview chapter<br>
Write a walkthrough section about what the compiler does to your code </p>
</blockquote>
<p>What is the difference between these?</p>
</blockquote>
<p>well at some point we had a distinction between those but I'm not sure if we really want to merge them or what do we want to do, I guess it's fine to merge them</p>



<a name="188666104"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next%20steps/near/188666104" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next.20steps.html#188666104">(Feb 20 2020 at 18:51)</a>:</h4>
<p>so ... there's an overview, more like explaining briefly the different parts of the compiler</p>



<a name="188666141"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next%20steps/near/188666141" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next.20steps.html#188666141">(Feb 20 2020 at 18:52)</a>:</h4>
<p>but then there's an idea of using one example, and kind of guide the reader through what happens when you compile that code</p>



<a name="188666224"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next%20steps/near/188666224" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next.20steps.html#188666224">(Feb 20 2020 at 18:52)</a>:</h4>
<p>which may involve talking about some data structures, talking about different representations we see along the way like MIR, etc</p>



<a name="188666249"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next%20steps/near/188666249" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next.20steps.html#188666249">(Feb 20 2020 at 18:52)</a>:</h4>
<p>I guess the overview could be just a high level idea of how things work</p>



<a name="188666274"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next%20steps/near/188666274" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next.20steps.html#188666274">(Feb 20 2020 at 18:53)</a>:</h4>
<p>mostly what we currently have on hackmd but more complete</p>



<a name="188666308"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next%20steps/near/188666308" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next.20steps.html#188666308">(Feb 20 2020 at 18:53)</a>:</h4>
<p>anyway, as I've said, it may be that we want both things in the same chapter</p>



<a name="188666328"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next%20steps/near/188666328" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next.20steps.html#188666328">(Feb 20 2020 at 18:53)</a>:</h4>
<p>all I want to say is that it would be good to have both things :)</p>



<a name="188666377"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next%20steps/near/188666377" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next.20steps.html#188666377">(Feb 20 2020 at 18:54)</a>:</h4>
<p><span class="user-mention silent" data-user-id="198054">mark-i-m</span> <a href="#narrow/stream/196385-t-compiler.2Fwg-learning/topic/Next.20steps/near/188662491" title="#narrow/stream/196385-t-compiler.2Fwg-learning/topic/Next.20steps/near/188662491">said</a>:</p>
<blockquote>
<blockquote>
<p>Write a walkthrough about how a full feature is implemented</p>
</blockquote>
<p>I'm not sure I understand how this is different from the existing feature or the above bullet points? What's the objective you imagine for such a chapter?</p>
</blockquote>
<p>so ... we have 4 things that may be confusing</p>



<a name="188666467"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next%20steps/near/188666467" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next.20steps.html#188666467">(Feb 20 2020 at 18:54)</a>:</h4>
<ol>
<li>overview this imo is more or less what we have in the hackmd you have cooked. A high level explanation of the different parts of the compiler</li>
</ol>



<a name="188666528"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next%20steps/near/188666528" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next.20steps.html#188666528">(Feb 20 2020 at 18:55)</a>:</h4>
<ol start="2">
<li>we have the existing walkthrough contributing section (this one is the one that is very different from the rest), in that section we've explained the procedure to contribute without any technical aspect of the compiler</li>
</ol>



<a name="188666698"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next%20steps/near/188666698" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next.20steps.html#188666698">(Feb 20 2020 at 18:56)</a>:</h4>
<ol start="3">
<li>a walkthrough about a sample program ... here we have user code and we explain what the compiler does when you compile it. We explain the different pases and things</li>
</ol>



<a name="188666723"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next%20steps/near/188666723" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next.20steps.html#188666723">(Feb 20 2020 at 18:57)</a>:</h4>
<ol start="4">
<li>a walkthrough about how a feature is implemented ... here we choose a feature implemented in the compiler, no idea which one could be but imagine the adition of async</li>
</ol>



<a name="188666853"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next%20steps/near/188666853" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next.20steps.html#188666853">(Feb 20 2020 at 18:58)</a>:</h4>
<p>so we first explain ... well this is implemented in PR #XYZ, and we explain every step of the PR</p>



<a name="188666874"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next%20steps/near/188666874" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next.20steps.html#188666874">(Feb 20 2020 at 18:58)</a>:</h4>
<p>this last one could serve as a contributing example</p>



<a name="188666886"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next%20steps/near/188666886" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next.20steps.html#188666886">(Feb 20 2020 at 18:58)</a>:</h4>
<p>so if I need to add something to the parsing phase I can check what was done there</p>



<a name="188769382"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next%20steps/near/188769382" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next.20steps.html#188769382">(Feb 21 2020 at 20:07)</a>:</h4>
<p>Ah, I see. Thanks for clarifying that.</p>



<a name="188769496"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next%20steps/near/188769496" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next.20steps.html#188769496">(Feb 21 2020 at 20:08)</a>:</h4>
<p>I guess I'm skeptical if it's meaningful to try to add all of those separately. For example, I'm skeptical that there is a PR or set of PRs that would make a useful example of what parts of the compiler I might want to change...</p>



<a name="188769758"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next%20steps/near/188769758" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next.20steps.html#188769758">(Feb 21 2020 at 20:11)</a>:</h4>
<p>I'm also wary of over-burdening ourselves by trying to produce too much material. If I recall correctly there was an expressed desire for (1) and (3), but I was under the impression that we wanted these to be high-level and merged into one thing... that is, others had expressed that the guide goes into a lot of detail on each single topic, but it's hard to see how they all fit together. It seems like some minimal combination of 1 and 3 would address that without requiring a lot of extra chapters?</p>



<a name="188769775"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next%20steps/near/188769775" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next.20steps.html#188769775">(Feb 21 2020 at 20:11)</a>:</h4>
<p>I guess I'm kind of rambling</p>



<a name="188769941"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next%20steps/near/188769941" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next.20steps.html#188769941">(Feb 21 2020 at 20:13)</a>:</h4>
<p>I'm curious what others think:</p>
<ul>
<li>Should (1) and (3) be different things?</li>
<li>Would a combination of (1) and (3) address people's current concerns with guide?</li>
</ul>



<a name="188776158"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next%20steps/near/188776158" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next.20steps.html#188776158">(Feb 21 2020 at 21:25)</a>:</h4>
<p><span class="user-mention" data-user-id="198054">@mark-i-m</span> at some point, the rustc-guide will start being more of a spec than the reference :D</p>



<a name="188776191"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next%20steps/near/188776191" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next.20steps.html#188776191">(Feb 21 2020 at 21:25)</a>:</h4>
<p>I think we should consider extracting some parts into the reference over time</p>



<a name="188776196"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next%20steps/near/188776196" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next.20steps.html#188776196">(Feb 21 2020 at 21:25)</a>:</h4>
<p>or build a new reference</p>



<a name="188778759"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next%20steps/near/188778759" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next.20steps.html#188778759">(Feb 21 2020 at 21:59)</a>:</h4>
<p><span class="user-mention silent" data-user-id="198054">mark-i-m</span> <a href="#narrow/stream/196385-t-compiler.2Fwg-learning/topic/Next.20steps/near/188769758" title="#narrow/stream/196385-t-compiler.2Fwg-learning/topic/Next.20steps/near/188769758">said</a>:</p>
<blockquote>
<p>I'm also wary of over-burdening ourselves by trying to produce too much material. If I recall correctly there was an expressed desire for (1) and (3), but I was under the impression that we wanted these to be high-level and merged into one thing... that is, others had expressed that the guide goes into a lot of detail on each single topic, but it's hard to see how they all fit together. It seems like some minimal combination of 1 and 3 would address that without requiring a lot of extra chapters?</p>
</blockquote>
<p>I'm not sure I want these things to be separate and we don't necessarily need to start rushing towards accomplishing that. I just brought that up for discussion, for future consideration and all that. I think 1 and 3, we all agree. Maybe the other thing we can do for now is try to add a collection of interesting PRs somwhere</p>



<a name="188778789"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next%20steps/near/188778789" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next.20steps.html#188778789">(Feb 21 2020 at 21:59)</a>:</h4>
<blockquote>
<ul>
<li>Collect a set of PRs that help understanding some parts of the compiler</li>
</ul>
</blockquote>
<p>I'm referring to this point <span aria-label="point up" class="emoji emoji-1f446" role="img" title="point up">:point_up:</span></p>



<a name="188828566"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next%20steps/near/188828566" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next.20steps.html#188828566">(Feb 22 2020 at 18:47)</a>:</h4>
<p><span class="user-mention" data-user-id="126931">@centril</span> Could you clarify what you mean? I feel that almost everything in the guide is about either procedure or implementation, rather than behavior (except maybe some of the chalk chapters)</p>



<a name="188844892"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next%20steps/near/188844892" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next.20steps.html#188844892">(Feb 23 2020 at 02:39)</a>:</h4>
<p><span class="user-mention" data-user-id="198054">@mark-i-m</span>  fair; I guess that's true, though I would like to see the reference become more like a "reference implementation" style thing where we use more formal specification and less informal English</p>



<a name="188844896"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next%20steps/near/188844896" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next.20steps.html#188844896">(Feb 23 2020 at 02:39)</a>:</h4>
<p>and the rustc guide is probably very helpful towards that goal</p>



<a name="188872185"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next%20steps/near/188872185" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Chris Simpkins <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next.20steps.html#188872185">(Feb 23 2020 at 15:04)</a>:</h4>
<p><span class="user-mention" data-user-id="198054">@mark-i-m</span> <span class="user-mention" data-user-id="116266">@Santiago Pastorino</span> </p>
<p>I took a pass through the <a href="https://hackmd.io/j8EsXGI1RiOnjZSiSRf3ng?view" target="_blank" title="https://hackmd.io/j8EsXGI1RiOnjZSiSRf3ng?view">Overview outline</a>, added all missing links, a few additions to the outilne itself, and a detailed References section with links to the rustc guide and source documentation.  There are bold TODO's where information is missing or there are questions.  And I added the link to this document in the <a href="https://hackmd.io/nr5Ww319TnWM2HL_cg5I-w?both" target="_blank" title="https://hackmd.io/nr5Ww319TnWM2HL_cg5I-w?both">Master doc</a>.</p>
<p>I have a couple of  additional thoughts.  It would be helpful to have source <strong>entry point</strong> links for each of these sections in the Overview.  This would serve as a jumping off point where readers can begin to explore the source after they read a section of the Overview.  It would also be helpful to succinctly summarize (or link to references that describe) available approaches to explore the various levels of source representation to machine code during the compile process.   e.g., <code>cargo rustc -- -Zunpretty=hir-tree</code> for HIR.  This would support an approach for readers to draft small bodies of source and visualize levels of representation as they run through the Overview and dig deeper into detailed information in the sections of the rustc guide.</p>
<p>I will get started on the Overview blog post outline this evening.</p>



<a name="188873019"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next%20steps/near/188873019" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Chris Simpkins <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Next.20steps.html#188873019">(Feb 23 2020 at 15:33)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116266">Santiago Pastorino</span> <a href="#narrow/stream/196385-t-compiler.2Fwg-learning/topic/Next.20steps/near/188589968" title="#narrow/stream/196385-t-compiler.2Fwg-learning/topic/Next.20steps/near/188589968">said</a>:</p>
<blockquote>
<p><span class="user-mention silent" data-user-id="198054">mark-i-m</span> when I was talking about the walkthrough section I think there are two things<br>
one is having Rust code and explaining what the compiler does to your code</p>
</blockquote>
<p>Sorry, I didn't see this section before I wrote my comments above.  This walkthrough sounds like the spot for information on <em>how</em> to visualize HIR &gt; MIR &gt; LLVM IR representations of source through the compile phases.  I really like the idea of a walkthrough on this.  I added a bullet point under that item for the <em>how to do it</em> piece.</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>